How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games

How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning

We propose a logical framework combining a game-theoretic study of abilities of agents to achieve quantitative objectives in multi-player games by optimizing payoffs or preferences on outcomes with a logical analysis of the abilities of players for achieving qualitative objectives of players, i.e., reaching or maintaining game states with desired properties. We enrich concurrent game models wit...

Expressiveness and Complexity Results for Strategic Reasoning

Abstract This paper presents a range of expressiveness and complexity results for the specification, computation, and verification of Nash equilibria in multi-player non-zero-sum concurrent games in which players have goals expressed as temporal logic formulae. Our results are based on a novel approach to the characterisation of equilibria in such games: a semantic characterisation based on win...

Modeling social preferences in multi-player games

Game-tree search algorithms have contributed greatly to the success of computerized players in two-player extensive-form games. In multi-player games there has been less success, partly because of the difficulty of recognizing and reasoning about the inter-player relationships that often develop and change during human game-play. Simplifying assumptions (e.g., assuming each player selfishly aim...

Running head : THEORY OF MIND AND INFERENCES 1 Using Our Theory of Mind for Inferences in Strategic Reasoning

Prior investigations into theory of mind have used strategic games to examine how an opponent’s known preferences are used to determine behavior. However, in the social setting, preferences are not always known. Mental state information often comes from observing another person’s decision and inferring what motivated that decision. This study extended the strategic game framework to explore the...